Jim Woodcock (Autor) / Najlacnejšie knihy

Knihy od autora Jim Woodcock

Zobrazené 1 – 14 z 14 výsledkov

Ďalšie

Stránka 1. z 1

Predchádzajúci

Radiť podľa a zobraziť tiež nedostupné

  1. Software Engineering for Robotics

    Software Engineering for Robotics

    Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock | Springer Nature Switzerland AG, 2022


    Skladom u dodávateľa - Odosielame za 8 - 11 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    123.38

    Zľava 7 %
    Ušetríte 10.32 €
  2. Theories of Programming and Formal Methods

    Theories of Programming and Formal Methods

    Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013


    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    51.63

    Zľava 7 %
    Ušetríte 4.28 €
  3. Theoretical Aspects of Computing -- ICTAC 2013

    Theoretical Aspects of Computing -- ICTAC 2013

    Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013


    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    51.63

    Zľava 7 %
    Ušetríte 4.28 €
  4. Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Applications

    Marcel Vinícius Medeiros Oliveira, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009


    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    51.63

    Zľava 7 %
    Ušetríte 4.28 €
  5. Unifying Theories of Programming and Formal Engineering Methods

    Unifying Theories of Programming and Formal Engineering Methods

    Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013


    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    51.63

    Zľava 7 %
    Ušetríte 4.28 €
  6. Theoretical Aspects of Computing

    Theoretical Aspects of Computing

    Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock | Springer, Berlin, 2010


    Skladom u dodávateľa - Odosielame za 9 - 15 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    55.97

  7. Refinement Techniques in Software Engineering

    Refinement Techniques in Software Engineering

    Ana Cavalcanti, Augusto Sampaio, Jim Woodcock | Springer, Berlin, 2006


    Skladom u dodávateľa v malom množstve - Odosielame za 13 - 18 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    55.77

  8. Software Engineering for Robotics

    Software Engineering for Robotics

    Brijesh Dongol, Jim Woodcock, Jon Timmis, Rob Hierons | Springer Nature Switzerland AG, 2021


    Skladom u dodávateľa - Odosielame za 10 - 13 dní

    Jazyk: Angličtina

    Väzba: Pevná

    123.38

    Zľava 7 %
    Ušetríte 10.32 €
  9. Formal Methods and Hybrid Real-Time Systems

    Formal Methods and Hybrid Real-Time Systems

    Cliff B. Jones, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007


    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    51.63

    Zľava 7 %
    Ušetríte 4.28 €
  10. Verified Software: Theories, Tools, Experiments

    Verified Software: Theories, Tools, Experiments

    Bertrand Meyer, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008


    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    102.86

    Zľava 7 %
    Ušetríte 8.62 €
  11. Formal Methods and Software Engineering

    Formal Methods and Software Engineering

    Jin Song Dong, Jim Woodcock | Springer, Berlin, 2003


    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    102.86

    Zľava 7 %
    Ušetríte 8.62 €
  12. Verified Software: Theories, Tools, Experiments

    Verified Software: Theories, Tools, Experiments

    Natarajan Shankar, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008


    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    51.63

    Zľava 7 %
    Ušetríte 4.28 €
  13. Domain Modeling and the Duration Calculus

    Domain Modeling and the Duration Calculus

    Chris George, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007


    Skladom u dodávateľa v malom množstve - Odosielame za 13 - 18 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    55.77

  14. Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theories, Tools, and Applications

    Wenhui Zhang, Jim Woodcock | Springer Nature Switzerland AG, 2021


    Skladom u dodávateľa - Odosielame za 5 - 8 dní

    Jazyk: Angličtina

    Väzba: Brožovaná

    77.19

    Zľava 7 %
    Ušetríte 6.50 €

Ďalšie

Stránka 1. z 1

Predchádzajúci

Záznamov na stránku

Filtrovať výsledky

Jazyk
  • Angličtina14
Väzba
  • Brožovaná13
  • Pevná1
Dostupnosť
  • Do 2 týždňov11
  • Do mesiaca3
Rok vydania
  • 20221
  • 20212
  • 20133
  • 20101
  • 20091
  • 20082
  • 20072
  • 20061
  • 20031
Rozsah ceny

-



Osobný odber Bratislava a 12820 dalších

Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies


Môj účet: Prihlásiť sa
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Nákupný košík ( prázdny )

Vyzdvihnutie v Zásielkovni
zadarmo nad 59,99 €.

Nachádzate sa: